Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
نویسندگان
چکیده
منابع مشابه
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
In this paper we prove a strong nonstructure theorem for κ(T )-saturated models of a stable theory T with dop. This paper continues the work started in [HT].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A
We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in [HT].
متن کامل. L O ] 1 5 Fe b 19 92 CONSTRUCTING STRONGLY EQUIVALENT NONISOMORPHIC MODELS FOR UNSUPERSTABLE
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملWhy There Are Many Nonisomorphic Models for Unsuperstable Theories
This was mentioned in [S4], and in fact in [S2]. We shall first sketch the proof and then point out some applications of the theorem and the method. We generalize the notion of indiscernibility used in Ehrenfeucht-Mostowski models (from [EM]). Let I be an (index) model, M EL model and, for each sel,äs is a (finite) sequence from M. For s = , s(l) e 7,let ä-s = äs{Q) A ••• A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1999
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2586489